Department of Mathematicscoretheory
MATHEMATICAL LOGIC
MAT 2237
Syllabus
- 01Formal proofs
- 02resolution
- 03Axiom systems
- 04strong completeness and compactness of propositional logic
- 05First order with equality
- 06First order structures in mathematics
- 07Propositional reduction
- 08completeness and compactness
- 09Variants of Lowenheim - Skolem theorem
- 10Some complete axiom systems
- 11Isomorphism and equivalence of structures
- 12Expressive and distinguishing power of First order logics
- 13EF games and 0-1 law
- 14Proof sketch of Incompleteness theorems
- 15Undecidability
References
- Singh A., Logics for Computer Science, PHI Learning. 2003
- A Friendly Introduction to Mathematical Logic - Christopher C. Leary, Lars Kristiansen - Milne Library 2nd edition 2015.
- A course in mathematical logic - Yu I Manin – Springer. 1977
- Leonid Libkin, Elements of Finite Model Theory, Springer, 2004.
Credits Structure
3Lecture
0Tutorial
0Practical
3Total